Termination in Timed Pro ess
ثبت نشده
چکیده
منابع مشابه
A XML/XSL Approach to Visualize and Animate TCOZ
The hallenge for system spe i ation is how to visually and pre isely apture stati , dynami and real-time system properties in a highly stru tured way. Timed Communi ating Obje t-Z (TCOZ) is an integrated formal notation that build on Obje t-Z's strengths in modeling omplex data and state, and on Timed CSP's strengths in modeling pro ess ontrol and real-time intera tions. In this paper, we demon...
متن کاملSuccessful Termination in Timed CSP
In previous work the authors investigated the inconsistencies of how successful termination was modelled in Hoare, Brookes and Roscoe’s original CSP. This led to the definition of a variant of CSP, called CSPT . CSPT presents a solution to these problems by means of adding a termination axiom to the original process axioms. In this paper we investigate how successful process termination is mode...
متن کاملOrdered SOS Pro ess Languages for Bran hing and Eager Bisimulations
Bran hing and Eager Bisimulations Irek Ulidowski a, Iain Phillips b;1 aDepartment of Mathemati s and Computer S ien e, University of Lei ester, University Road, Lei ester, LE1 7RH, United Kingdom bDepartment of Computing, Imperial College, 180 Queen's Gate, London SW7 2BZ, United Kingdom Abstra t We present a general and uniform method for de ning stru tural operational semanti s (SOS) of pro e...
متن کاملAsymptoti Filtering and Entropy Rate of a Hidden Markov Pro ess in the Rare Transitions Regime
Markov Pro ess in the Rare Transitions Regime Chandra Nair Dept. of Ele t. Engg. Stanford University Stanford CA 94305, USA m handra stanford.edu Erik Ordentli h Information Theory Resear h Group HP Laboratories Palo Alto CA 94304, USA erik.ordentli h hp. om Tsa hy Weissman Dept. of Ele t. Engg. Stanford University Stanford CA 94305, USA tsa hy stanford.edu Abstra tRe ent work by Ordentli h an...
متن کاملTermination in timed process algebra
We investigate different forms of termination in timed process algebras. The integrated framework of discrete and dense time, relative and absolute time process algebras is extended with forms of successful and unsuccessful termination. The different algebras are interrelated by embed dings and conservative extensions.
متن کامل